Santa Catarina < Sarre (Land) < Saxe (Land)

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Sarre (Land)

Number of relevant bibliographic references: 43.
[20-40] [0 - 20][0 - 43][40-42][40-60]

Ident.	Authors (with country if any)	Title
006C34 (2004)	Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni]	Automatic Generation of Classification Theorems for Finite Algebras
006C54 (2004)	Yevgeny Kazakov [Allemagne] ; Hans De Nivelle [Allemagne]	A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
007984 (2003)	Harald Ganzinger [Allemagne] ; Jürgen Stuber [France]	Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
008733 (2002)	Serge Autexier [Allemagne] ; Dieter Hutter [Allemagne] ; Till Mossakowski [Allemagne] ; Axel Schairer [Allemagne]	The Development Graph Manager Maya
008748 (2002)	Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]	SCIL — Symbolic Constraints in Integer Linear Programming
008760 (2002)	Axel Schairer [Allemagne] ; Dieter Hutter [Allemagne]	Proof Transformations for Evolutionary Formal Software Development
009442 (2001)	Claire Gardent [France] ; Stefan Thater [Allemagne]	Generating with a grammar based on tree descriptions: A constraint-based approach
009E60 (2000)	Volker Sorge [Allemagne]	Non-trivial Symbolic Computations in Proof Planning
009E78 (2000)	Erica Melis [Allemagne] ; Jürgen Zimmer [Allemagne] ; Tobias Müller [Allemagne]	Integrating Constraint Solving into Proof Planning
009F20 (2000)	Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne]	Combining Logic and Optimization in Cutting Plane Theory
00A836 (1999)	Alexander Bockmayr [France] ; Friedrich Eisenbrand [Allemagne] ; Mark Hartmann [États-Unis] ; Andreas S. Schulz [États-Unis]	On the Chvátal rank of polytopes in the 0/1 cube
00A860 (1999)	G. Delzanno [Allemagne] ; D. Galmiche [France, Allemagne] ; M. Martelli [Italie, Allemagne]	A specification logic for concurrent object-oriented programming
00A915 (1999)	Jürgen Stuber [Allemagne]	Theory Path Orderings
00AA17 (1999)	Veronique Cortier [France] ; Harald Ganzinger [Allemagne] ; Margus Veanes [Allemagne] ; Florent Jacquemard [France]	Decidable Fragments of Simultaneous Rigid Reachability
00B326 (1998)	Erica Melis [Allemagne] ; Jean Lieber [France] ; Amedeo Napoli [France]	Reformulation in case-based reasoning
00B360 (1998)	Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [Allemagne]	How to realize LSE narrowing
00C096 (1996)	Sergei Vorobyov [Allemagne]	An improved lower bound for the elementary theories of trees
00C658 (1995)	Rolf Backofen [Allemagne]	A complete axiomatization of a theory with feature and arity constraints
00CD21 (1994)	Andreas Werner [Allemagne] ; Alexander Bockmayr [Allemagne] ; Stefan Krischer [France]	How to realize LSE narrowing
00D184 (1993)	Thomas Lehmann [Allemagne] ; Jacques Loeckx [Allemagne]	OBSCURE a specification language for abstract data types
00D209 (1993)	Alexander Bockmayr [Allemagne]	Conditional narrowing modulo a set of equations

---

List of associated Author.i

Nombre de documents	Descripteur
7	Alexander Bockmayr
5	Matthias Horbach
4	Christoph Weidenbach
4	Harald Ganzinger
4	Viorica Sofronie-Stokkermans
3	Andreas Werner
3	Ernst Althaus
3	Stefan Krischer
2	Axel Schairer
2	Denys Duchier
2	Dieter Hutter
2	Erica Melis
2	Friedrich Eisenbrand
2	Jacques Loeckx
2	Jürgen Stuber
2	Ralph Debusmann
2	Thomas Lehmann
2	Uwe Waldmann
2	Volker Sorge
1	A. Zelikovsky
1	Amedeo Napoli
1	Andreas Meier
1	Andreas S. Schulz
1	Carsten Ihlemann
1	Claire Gardent
1	Claus-Peter Wirth
1	D. Galmiche
1	Dirk Werth
1	E. Althaus
1	Edgar A. Ramos
1	Florent Jacquemard
1	Florian Kupsch
1	François Lamarche
1	G. C Linescu
1	G. Delzanno
1	Hans De Nivelle
1	I. I. M Ndoiu
1	Jean Lieber
1	Joachim Niehren
1	Jochen Könemann
1	Johannes Faber
1	Jürgen Zimmer
1	Kurt Mehlhorn
1	Lutz Stra Burger
1	M. Martelli
1	Marco Kuhlmann
1	Mareike Schmidt
1	Marek Košta
1	Margus Veanes
1	Mark Hartmann
1	Markus Löckelt
1	Martin Skutella
1	Matthias Daum
1	Matthias Elf
1	Michael Jünger
1	N. Tchervenski
1	Norbert W. Schirmer
1	Ralf Karrenberg
1	Rolf Backofen
1	Roy Mccasland
1	S. Prasad
1	Sariel Har-Peled
1	Serge Autexier
1	Sergei Vorobyov
1	Simon Colton
1	Stefan Canzar
1	Stefan Funke
1	Stefan Thater
1	Stephan Merz
1	Swen Jacobs
1	Thomas Kasper
1	Thomas Sturm
1	Tianxiang Lu
1	Till Mossakowski
1	Tobias Müller
1	Veronique Cortier
1	Yevgeny Kazakov

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Sarre (Land)" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Sarre (Land)" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Sarre (Land)
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022